formal description technique meaning in Chinese
形式描述方法（技术）
Examples
- From petri nets to formal description techniques and protocol engineering
网到形式描述技术和协议工程 - The thesis summarizes the advantages of adopting petri net as the tool of protocol specification and analysis on the foundation of reviewing three kinds of relatively existing formal description techniques ( fdts )
论文在总结比较现有的各种形式描述技术( fdt )的基础之上，重点论述了采用petri网作为协议描述和分析工具的优势所在。 - The paper advances the introduce of fdt ( formal description technique ) into network instrument and distributed measuring and controlling system , achieving a set of normative method about designing , validating , realizing , testing protocol , uncovering bugs of that as soon as possible , checking and rectifying bugs , perfecting the protocol and shortening the exploitation cycle
摘要论文提出了将形式化方法引入网络仪器设计中的观点，使设计者在设计仪器网络接口时，拥有一套规范的协议设计、验证、实现、测试的方法，使开发者尽可能早的获知协议缺陷，最大限度的检测和纠正缺陷，进行协议的完善，同时缩短了协议开发周期，提高了协议实现的正确性。